Composing transformations of compiled Java programs with Jabyce
نویسندگان
چکیده
منابع مشابه
Logic Programs with Compiled Preferences
We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in which rules are named by unique terms, and in which preferences among rules are given by a set of atoms of the form s ≺ t where s and t are names. An ordered logic program is transformed into a second, regular, extended logic prog...
متن کاملComposing Configurable Java Components
This paper presents techniques to reason about the composition of configurable components and to automatically derive consistent compositions. The reasoning is achieved by describing components in a formal component description language, that allows the description of component variability, dependencies and configuration actions. It also enables the automatic, configuration-driven, derivation o...
متن کاملComposing Modal Properties of Programs with Procedures
In component based software design, formal reasoning about programs has to be compositional, allowing global, program-wide properties to be inferred from the properties of its components. The present paper addresses the problem of compositional verification of behavioural control flow properties of sequential programs with procedures, expressed in a modal logic. We use as a starting point a max...
متن کاملComposing Non-orthogonal Meta-programs Composing Non-orthogonal Meta-programs
A key feature of meta-level architectures is the strict separation between the application and the non-functional requirements. In a base-level, the application behaviour is modelled. Other requirements are handled in a meta-program. This makes both application and meta-program reusable. We introduce a mechanism based on high-level declarative policies to overcome the diiculty of tailoring a me...
متن کاملCompiled Visual Programs by VisPro
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) developed under the VisPro system. However, due to the lack of compilation facilities, VisPro could only generate simple interpreted VPLs. We have developed a compilation mechanism for VisPro to implement compiled visual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science and Information Systems
سال: 2004
ISSN: 1820-0214,2406-1018
DOI: 10.2298/csis0402083l